<?php

if(isset($_SESSION['user_type'])) {
?>

<ul id=navigation>
<li><a href="">Reservations</a></li>
<li><a href="index.php?page=inventory">Inventory</a></li>
<li><a href="">Users</a></li>
<li><a href="index.php?session=destroy">Logout</a></li>
</ul>

<?php
}
?>